More from this Author

Computer Science Logic

by E. Borger (Editor), H. Kleine Buning (Editor), M. M. Richter (Editor), W. Schonfeld (Editor), G. Goos (Editor), J. Hartmanis (Editor)